$\forall$$r$:rng\_sig\{i:l\}. rng\_car($r$) $\in$ Type